Semi-linear Stochastic Difference Equations

We consider in this paper a class of vector valued processes that have the form Yn+1 = An(Yn)+ Bn. Bn is assumed to be stationary ergodic and An is assumed to have a divisibility property. This class includes linear stochastic difference equations as well as multi-type branching processes (with a discrete or with a continuous state space). We derive explicit expressions for the probability distribution as well as for the two first moments of state vectors at the stationary regime. We then apply this approach to derive two formalisms to describe the infinite server queue. The first is based on a branching process approach adapted to phase type service time distributions. The second is based on a linear stochastic difference equation and is adapted to independent and generally distributed service times with bounded support. In both cases we allow for generally distributed arrival process (not necessarily i.i.d. nor Markovian).